Centre for Formal Design and Verification of Software (CFDVS) Trung tâm thiết kế chính thức và xác minh phần mềm (CFDVS)
An automated software verification system that checks Solidity programs. Hệ thống xác minh phần mềm tự động kiểm tra các chương trình Solidity.
MicroMasters Program Software Testing and Verification (University of Maryland University College) Chương trình MicroMasters về Kiểm tra và Xác minh phần mềm (Đại học Maryland University College)
MicroMasters Program in Software Testing and Verification (University of Maryland University College) Chương trình MicroMasters về Kiểm tra và Xác minh phần mềm (Đại học Maryland University College)
MicroMasters Programme Software Testing and Verification (University of Maryland University College) Chương trình MicroMasters về Kiểm tra và Xác minh phần mềm (Đại học Maryland University College)